Closed category

Results: 176



#Item
21Algebras / Frobenius algebra / Tensor product / Tensor algebra / Vector space / Singular value decomposition / Associative algebra / Tensor / Braided monoidal category / Mathematics / Abstract algebra / Monoidal categories

Reasoning about Meaning in Natural Language with Compact Closed Categories and Frobenius Algebras ∗ Authors: Dimitri Kartsaklis, Mehrnoosh Sadrzadeh, Stephen Pulman, Bob Coecke Affiliation: Department of Computer Scien

Add to Reading List

Source URL: www.cs.ox.ac.uk

Language: English - Date: 2015-03-18 10:54:11
22Morphism / Product / Cobordism / Category / Associative property / Cartesian closed category / Functor / Category theory / Mathematics / Algebra

Physics, Topology, Logic, and Computation: A Rosetta Stone John C. Baez UC Riverside Mike Stay Google, U. of Auckland

Add to Reading List

Source URL: math.ucr.edu

Language: English - Date: 2009-05-05 19:03:37
23Monoidal categories / Algebraic topology / Functors / Cartesian closed category / Lambda calculus / Product / Morphism / Natural transformation / Topological quantum field theory / Category theory / Abstract algebra / Algebra

Physics, Topology, Logic and Computation: A Rosetta Stone John C. Baez Department of Mathematics, University of California Riverside, California 92521, USA Mike Stay

Add to Reading List

Source URL: math.ucr.edu

Language: English - Date: 2012-06-26 12:58:42
24Sheaf theory / Sheaf / Topos / Grothendieck topology / Continuous function / Coherent topology / Category / Cartesian closed category / Topological space / Topology / Mathematics / General topology

A constructive manifestation of the Kleene–Kreisel continuous functionals Mart´ın Escard´o and Chuangjie Xu University of Birmingham, UK Version of March 27, 2015.

Add to Reading List

Source URL: www.cs.bham.ac.uk

Language: English - Date: 2015-03-27 08:25:57
25Isomorphism-closed subcategory / Subcategory / Epimorphism / Topology / Structure / Mathematical analysis / Category theory / Mathematics / Reflective subcategory

Introduction Heredity of AD-classes References Hereditary, additive and divisible classes in epireflective subcategories of Top

Add to Reading List

Source URL: thales.doa.fmph.uniba.sk

Language: English - Date: 2006-08-10 05:02:17
26Adjoint functors / Functors / Functional programming / Lambda calculus / Functor / Monad / Natural transformation / Product / Cartesian closed category / Category theory / Mathematics / Abstract algebra

A category-theoretic account of program modules Eugenio Moggi∗ [removed] LFCS, University of Edinburgh, EH9 3JZ Edinburgh, UK May 31, 1994

Add to Reading List

Source URL: www.disi.unige.it

Language: English - Date: 2002-07-31 04:31:16
27Monoidal categories / Lambda calculus / Traced monoidal category / Monoid / Morphism / Sheaf / Associative property / Fixed-point combinator / Cartesian closed category / Algebra / Mathematics / Category theory

A Traced Monoidal Category of Relations (DRAFT) R.D. Arthan 10 December[removed]

Add to Reading List

Source URL: www.lemma-one.com

Language: English - Date: 2006-12-10 08:21:21
28Structure / Adjoint functors / Sheaf / Functor / Filter / Complete Heyting algebra / Continuous function / Metric space / Cartesian closed category / Mathematics / Topology / Order theory

Theory and Applications of Categories, Vol. 28, No. 3, 2013, pp. 66–122. DUALITY FOR DISTRIBUTIVE SPACES DIRK HOFMANN Abstract. The main source of inspiration for the present paper is the work of R. Rosebrugh and R.J.

Add to Reading List

Source URL: www.emis.de

Language: English - Date: 2013-01-28 11:57:00
29Abstract algebra / Monoidal functor / Enriched category / Monoidal monad / Closed monoidal category / Monoid / Braided monoidal category / Closed category / Adjoint functors / Category theory / Algebra / Monoidal categories

Theory and Applications of Categories, Vol. 28, No. 6, 2013, pp. 166–205. TANNAKA DUALITY AND CONVOLUTION FOR DUOIDAL CATEGORIES THOMAS BOOKER AND ROSS STREET Abstract. Given a horizontal monoid M in a duoidal categor

Add to Reading List

Source URL: www.emis.de

Language: English - Date: 2013-04-01 12:23:00
30Monoidal categories / Homotopy theory / Closed monoidal category / Homotopy / Adjoint functors / Monoid / Tensor product / Natural transformation / Model category / Category theory / Algebra / Abstract algebra

Theory and Applications of Categories, Vol. 26, No. 8, 2012, pp. 204–232. A CHARACTERIZATION OF REPRESENTABLE INTERVALS MICHAEL A. WARREN Abstract. In this note we provide a characterization, in terms of additional al

Add to Reading List

Source URL: www.emis.de

Language: English - Date: 2012-04-19 10:11:00
UPDATE